let f x =  
  match x with 
  | 1 -> 'a'
  | 2 -> 'b'
  | 3 -> 'c'
  | _ -> 'x'  